
int set_memory_ro(unsigned long addr, int numpages)
{
	return 0;
}

int set_memory_rw(unsigned long addr, int numpages)
{
	return 0;
}
